No worries, you should hear me trying to give customer service my email.
So the porch light SMB uses is the "Bargman 30-78-522 Porch Light with Black Base". Inside is a simple 1003 mini bulb, the base of which matches several automotive bulbs including 1156 single filament. Come to think of it I might have put an 1156 in once upon a time and that's why my housing melted.
Anyway the base will take any LED light replacement with a 1003/1156 base and there are a ton of dome light replacements. If you go with a single 40x40ish board with about 9 LED you should get a decent reduction in lumens and it's a no tool swap. I can't find info on the 1003 philisti- er I mean filament bulb lumen output but the round LED replacements brag from 250-325 so a board will less should be a reduction.
It's also a great segue to my next post.