Borchester can you provide us with the costs, since you appear to have considered them.
if the library is to expand it needs to re locate, or partly relocate as it seems unlikely planning permission[ it is a listed building is it not] would be granted at the present site for an extension.