Chrome bits are only chrome clad. They cannot be swaged and they cannot be sharpened with a file until you take off the cladding. That means a grinder. After the face is removed, then you can use a hand file, but you'll rip it up.
I only use them on my edger. They keep a good edge. I stopped using them on the headsaw. They don't take a hit very well, and the corners will break off. Once that happens, you have to do a lot of filing to get back to a square corner or replace the tooth. I found them not to be cost effective and have gone back to regular steel bits.
I notice that nobody responded to the diamond file thread. They should be OK on chrome bits. They sell several different grits on Ebay and a typical file runs about $20, delivered. I don't know how good they are, and they don't look like they'll fit in the Dexter. For $20 it might be worth a shot.