Thanks John.
I did find one source that said the action of a PUSH was undefined on some chipsets, but nothing else. I'll let you know if I find anything else.
This may be due to a buffering error in the client device.