Gas prices dip just below USD 4 for the first time in 5 months in US