Thanks for the information, guys. I did order the 1232-25 at first, but they were out of stock so I was offered the 1232-40. Problem is it was even more expensive, and since I'm mostly after the RAM, I went for the 1220-16 instead. It's cheaper. Won't try to modify that one, I guess.
Still, interesting to get some feedback on the question.