GBA1 and Gaucher disease: Viable Gaucher disease mouse models have been created by ‘knocking in’ various point mutations flanked with loxP sequences and inserted in the mouse Gba1 locus encoding GCase including V394L, D409H, D409V, or D409V/null [14].