If this bass was owned by a famous player and used to record some hit tunes, then there would be people trying to figured out what brand of hammer and screwdrive size it was used, so they could duplicate it.
But for what it really is, magnificent job on the repair!