Purchase either 1 or 2 (for clustery redundancy) Xen hosts to replace dodgy old x86 PCs in the machine room.

Machines to run as a Xen:

 * mussel
 * mermaid
 * mooneye
 * coolstore (currently a Xen on mermaid?)
 * possibly some of the other colo machines

There are a few possibilities for hardware.  Nice Core2Duo machines can be purchased for around $1500.  Sun Opteron servers are also not
too ridiculously overpriced.  e.g. a [[http://au.sun.com/catalog/?n-state=http://catalog.sun.com/partpricing.xml?site%3dAUSTRALIAAU%26catalogue%3dFC%26segment%3dFC_R%26item%3dFC_SC_CAT%26group%3d2010%26fid%3d5154%26id%3d13773~~~G!04DC5272D891!WBPkexcnEpBE33lB~standard~ws-nocache~~@http://syndicator.sun-catalogue.com/auaustralia/australiacontext|Sun x2200]] with 2x dual core Opterons can be had for around $2500. They also have [[http://au.sun.com/promos/education/|education pricing]].