I took out one digit and it worked. I ordered an $11 phone on eBay (none of the others had a basic phone), so when that arrives, I’ll see if it works to switch to that IMEI.
Thanks.
It starts, BTW, with 4750, and adds 250 per month until 6000.
One more question – do I really need to link to my (non-existant) Facebook or Twitter account?