I haven’t, but I’ve had many grand and baby grand pianos tuned after being moved onto stage, and a guy comes in and does it by ear.
I asked them why they didn’t have a stroboscopic tuner or something, and they’ve always found it easier with a couple forks and by ear