It was initially called Stanchion but was renamed after Captain Boys as a mark of respect when he died a few days before the rifle was approved for service in November 1937.
A fegyver eredeti neve a Stanchion volt, de később átnevezték a Boys százados iránti tisztelet jegyében, miután néhány nappal a puska hadrendbe állítása, 1937 novembere előtt meghalt.