How easy/hard is it to install a new endpin (this includes removing the current endpin)? Is it as simple as pulling the old one out and sticking the new one in, or is there glue involved? The reason I ask is because Kolstein's is offering a pretty nifty looking endpin for sale on Ebay, and I definitely need a new (read: working) endpin. Any thoughts/experiences would be gladly appreciated. Thanks.