Ideal 7228 95 Ec3 Service Manual May 2026