Hi Dave,
To answer your question, it is possible to program the T5577C chip in FDB-B mode… but at this time I don’t know if the proxmark3 can program it… and I definitely don’t know of any other writer options.
Before we can even get to that point though, do you know what your pet chip is? Who made it? What the ID is on it for the dog?