I think you're right. I've been reading reviews/questions on Amazon all morning for various buttons, and one person had a Q similar to mine. The seller had provided an incorrect answer, and the guy actually measured the LEDs which were only consuming 10mA.
Thanks for helping clear this up and you were a big help. I think that any of those 12v buttons that are sold pretty much everywhere won't be a problem power-wise.