to late for me to help at the dealer. for a bit of peace of mind we run atf in the fuel in our diesel trucks in the winter. helps clean out the sludge. i realize this isn't a diesel but you can run it if you had to. if he flushed it immediately there should be no issues.

rest eazy!