Oil prices tumble to $78; will it trigger cut in domestic pump prices?