I watched a bunch of NoBo tour / feature videos when we were RV shopping and I can’t recall any of them mentioning the step light. There is a switch just forward of the entry way near the floor that’s supposed to be for the tongue jack light, but I can’t see that as being for the step light too. I’d think it would be tied in to the porch light circuit. Check to see if it has voltage to the light. Like you said: maybe it’s inop.
I havenít been everywhere, but itís on my list.
2021 Geo Pro G16BH
2012 Nissan Armada 4x4 Platinum