10k$ volume??? They can execute an buy/sell order on ED. It'll cost about $20 in fees.