Re-Use Your CAD: The ModelCHECK Handbook