I was thinking somewhere someplace

 I have about 0.030 btc  which we collected for this pool to help with the server.

now that coins are 23k should I send it to pay for the server?

I will be back at my trezors to look it up. In about 4 hours.

Maybe I should send 1/2 and hold the rest  for six or seven more months.

If coins double again and we send 1/2 we could pay for the server 2 more times and still have some coin left.