Thunder I - tuning pegs

Hi, I am thinking of changing the tuning pegs of my Westone Thunder I. A couple of mine are bent and in general I suspect they are not in the best condition.

I am not worried about replacing them with Westone parts. (I already have non-westone pickups and various other non-original parts). I just want to make sure that I get ones that are compatible.

Any tips would be appreciated. The holes seem to be 10mm  - does that sound right.

I was maybe thinking of a set of these
https://www.amazon.co.uk/dp/B01FUU6VXE/ref=twister_B01FUU6VIY?_encoding=UTF8&psc=1

Any help appreciated

Thanks

Rob

They should do fine.

Be interested in the old one's if going spare?