Oops - sorry, Nick! I should have double-checked your eBay link.
The switch that I attributed to you is smaller diameter than either Ed's or the Mouser; it is also longer, has a nice action and does not rotate - which is why I assumed it was the same.
For the record, the Mouser button does rotate.
Graham