Revenue Recognition (Estimated Revenue Expected to be Recognized In the Future) (Details) $ in Millions	9 Months Ended
	Sep. 30, 2025 USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Vehicle maintenance program, contract term	5 years
Revenue expected to be recognized on VCP contracts sold as of period end	$ 115.7
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue expected to be recognized on VCP contracts sold as of period end	$ 40.8
Remaining performance obligation, expected timing of satisfaction, period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue expected to be recognized on VCP contracts sold as of period end	$ 55.8
Remaining performance obligation, expected timing of satisfaction, period	2 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2028-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue expected to be recognized on VCP contracts sold as of period end	$ 19.1
Remaining performance obligation, expected timing of satisfaction, period	2 years