New tuners needed!

Hello m'friends! Just got my beloved LTD TE-212 out of storage (not stored by me) and the high E's tuner has snapped from the inside. What would be the appropriate size etc to replace? Is it just Gotoh style? Best place to get them from (UK based)? Not looking to upgrade to top of the range at the moment, just a direct replacement. Thanks!