BP07 blood pressure meter box clip repair

The little retaining clip on one side of the storage box my blood pressure meter is kept in snapped off. I lived with it for 4 years before designing this little clip in Sketchup and printing in PLA - pink is what was in the printer.