Gas prices down 9 cents in Western Pa.