No it does not sound right karl. I am not aware of any VW dealer recommending timing belt replacements at 4OK regardless of the model. I also do not buy into the beetle engine compartment being hotter. I own two of these cars and service a few of them and have... Login to read more.