BikerBabe Jorn
I think that the little cylinder head ABS plastic pucks/skid plates from a similar/same engined GS model could be found fitted to outside of the rocker boxes, if you/he a little need something to take the 'drop off stand' damage/scuffs in the future.
It shouldn't leak yet - it would be already if it was I feel - some of the gouging of the rocker cover (because it's not quite as hard) helps protect the cyinder head.
If it, the rockercover looks like it has really been mauled by a Tiger (be it Triumph's or the animal), then you might want to start hunting for scapyards, net, papers or dealears for new rocker cover in the future for piece of mind less cost from servicing staff, when it does eventually 'hole' through.
Not meaning by its age, ware or usage, but by future accidents/drops as the covers and most of engine is an aluminuim alloy, not the steel alloys brittle iron of old..
Sometime, that is true Wayne

and it was Saturday night, so...