No, the gasket went a while back so since getting it fixed now keep an eye on the temp/coolant situation. You might be right about the rotor arm/dist cap. - had this before a few years ago, though the car did still keep moving unlike this time. Will let you know what the outcome is in case...