Glock 17 Gen 4 owner here. Looking at adding the Trijicon RMR 3.25 or Holosun HS507C. With a standard model, would you recommend getting it milled or buying a Glock stripped slide?