Bike is back together and ready to go. I actually got it repaired at Just for Fun. I did look around at their lube section and didn't remember seeing Repsol. I didn't look to hard though. I didn't decide to change my oil until after I got the bike back home and realized they replaced the clutch cover. So as a piece of mind I changed the oil ensuring nothing got into the oil while the had the cover off.