Thanks for the input on this issue.
The basic problem still exists in that if the push button to start the vehicle does not work, it appears the only option is a tow to the nearest dealer.
The manual, which I have read, does not address that specific problem unless it is a low battery issue with the key fob but that is not the problem in my case.
I'll talk to the dealer when next there or if it happens again.