I need to replace the pump on my M5 which has a Pumptec 205V series. I called Pumptec and was told that there is no difference between the 205V and the 207V, except the color. The motor on the 207V is smaller where the 205V is bulkier and heavier. The 207V is $150 less. I trust Pumptec technical advise, but was wondering if anyone has on the field experience with both pumps. Thanks!