Thanks @ATT for the 31-cent check. I’d be fine with a credit to my account though.