Just for reference, a one-off heatsink runs between 1000-2000 USD depending on materials. Looking at this design, I would anticipate a cost in excess of that.
Hmm, as a relatively broke soon to be machining student I may have just found a very profitable niche.
Indeed, they didn't even bother giving me a quote.
Good to know, I guess I'll be making my own then.