oh ok that sounds like they know what they're doing then. if it was some random workshop then I'd be skeptical. damn dude. well sadly I think the best way to check if everything is ok is to have the head pulled off. or get the timing corrected and see how it runs. if it runs good and doesn't make bad noises then you should be alright. sorry i can't be of more help man, that really sucks