For those interested - I got the answer from my posting on the MSDN forums, from a Microsoft employee(so I think it's legit :-)).
The short answer is yes, the buffer pool can be extended to an SSD in use by something else, as long as there is space on it. The long answer is, well, long winded so I wont go into it here.