Bob,
I believe Dave always used "Gator" as his call sign and if aircraft assignments changed, as they often did, the last three of a tail number are probably lost to history. No big deal, this is a work in rememberance of Dave, but could be also dedicated to all the "Gators" that have never been forgotten.
Paul