Article 20 residence card entering UK

[whataboutlindus]

Hi.

I am Czech citizen studying in the UK.

My parents have the below residence card.

CZE-HO-06001
http://www.consilium.europa.eu/prado/en ... index.html

This residence card contains a stamp "Family member of EU citizen" issued to third-country family members of EU nationals, for permanent residence in the Czech Republic.
I believe this to be an Article 20 card, which together with a certified translation my birth certificate into English, should be acceptable for visa-free travel to the UK as per the guidelines outlined in the link below:

https://www.gov.uk/government/publicati ... dence-card

I will be accompanying them to the UK as we are attending my graduation. However, I'm a bit worried that they could deny my parents' entry (because of Brexit and whatnot)
With all the above-mentioned documents, there should not be any problems at the border, correct?

Has anyone travelled like this before? Do I need any other documents just to be sure?

Thank you in advance for any help!





Thank you very much in advance.

[Qtoan]

Hi, how did you solve it? Is it sufficient to travel with that permanent residence card and certified translation of birth certificate?