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.
Det blev oprindelig kaldt Stanchion; men blev omdøbt og opkaldt efter kaptajn Boys, som et tegn på respekt da han døde nogle få dage inden riflen blev godkendt til brug i november 1937.