Apparently they can wear their own choice of waistcoat.

Ah, now -- do you pronounce it waist-coat or weskit or as US'ns do - vest!
Or do I understand correctly that vest is an entirely different garment to Brits ?