Gnasher, assuming you're the same on mk7 forum, did you have your push button replaced and was it different and if so could I get a pic, mines going and I can tell the dealer is gonna be a prick so if I can prove the part has been changed it may go smoother!
Booth: Can you repost that link, it doesn't work for me, all I get is a non working "www.carmats2u" to which I added ".co.uk" and customised the standard Golf 7 mats and stated "R" on the logo - can't see any Proper R mats by default. Do they come out about £53 for the set + a whopping £10 postage? Much better looking than the OEM choice.
http://www.carmats2u.co.uk/vw-golf-car-mats-mk7-2013-onwards-2486-p.aspThey look a lot better quality than the OEM ones. My drivers mat is showing a big dent even through I have only done 4000 miles. It'll be interesting to see how you get on with them.