Sure they do
The racebike gets XR77 which is silly money (£13+ a litre) even with forum members discount from Race Lubricants but it does so few miles it's irrelevent.
The road bike gets Hein Gericke fully synthetic race oil, it's as high a grade as you can buy, is fine for either premix or the pump and is £6.39 a litre, it's allegedly Motul 710 in a cheap bottle.
Really anything fuly synth is fine.
_________________
Please do not PM me technical questions, if you can't find it on the Forum start a thread