I wouldn't count on factory lube tbh, if you're paying $1 per switch you're likely going to hand lube the switches anyways. I have the regular HPX's and would not recommend using them stock.
They have cherry mx style (as opposed to Kailh BOX) housings, so you should use a cherry mx style switch opener (they have four prongs). Many switch openers you buy will have both, like this one: https://drop.com/buy/kbdfans-x-ai03-2-in-1-aluminum-switch-opener