The original worked okay, but the clips snapped off easily and it didn't sit flush at the end very well for me.
I reenforced the clips and added some extras to the end where the opening indentation is located. This one clips in much more secure than the original (for my X1C).
I printed in PETG with a 0.6 nozzle…. but I'm sure you could use other filament or nozzle sizes without issues. Also, I didn't use any supports and it printed out fine.