Make it easier to override TESLA options.