Ooops, my error. The area code was 888, not 800. But do check out the posts for  888-790-2771, if need be.
I apologize.

No message left, and it's the usual "800 Service" so it's most likely one more robo-call.