王叔叔自驾游，他从成都到隆昌，出高速时显示ETC收费71.25元（使用ETC进行电子缴费可以打九五折）。王叔叔这次用ETC缴费节省了多少钱?