Need to trim the plastic shoulder around the bottom to get it seated in the switch housing, but yeah if the original has domes, no reason you can't continue with that. Of course flat-tops are readily available on ebay for cheap. It's the voltage you need to be worried about. Original is blue, so you're probably looking for ~3.2v LEDs to replace with.