I believe this will be deducted from the 10k. you don't need 13k, you'll move 10k and end up with 7k, 3k being the channel open fee